221. Making IT work :a history of the computer services industry
المؤلف: Yost, Jeffrey R.
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: History ، Computer service industry
رده :
HD
9696
.
2
.
A2
Y67
2017
222. Mathematical and statistical methods for actuarial sciences and finance :
المؤلف: Marco Corazza, María Durbán, Aurea Grané, Cira Perna, Marilena Sobillo, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Finance-- Mathematical models, Congresses.,Finance-- Statistical methods, Congresses.,Insurance-- Mathematical models, Congresses.,Insurance-- Statistical methods, Congresses.,BUSINESS & ECONOMICS-- Insurance-- Risk Assessment & Management.,Econometrics.,Economics.,Finance.,Mathematics.,Optimization.,Probability & statistics.
رده :
HG8781
223. Mathematical footprints :
المؤلف: by Theoni Pappas
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Mathematics, Miscellanea
رده :
QA99
.
P377
1999
224. Mathematical foundations of computer science 2003 :
المؤلف: Krzysztof Diks and Wojciech Rytter (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Computer science -- Mathematics.
225. Mechanizing proof :
المؤلف: Donald MacKenzie.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer systems-- Reliability.,Computers and civilization.
رده :
QA76
.
76
.
R44
M36
2001
226. Mechanizing proof: computing, risk, and trust
المؤلف: / Donald MacKenzie
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: س‍ی‍س‍ت‍م‍ه‍ای ک‍ام‍پ‍ی‍وت‍ری -- اطم‍ی‍ن‍ان پ‍ذی‍ری,ک‍ام‍پ‍ی‍وت‍ره‍ا وت‍م‍دن
رده :
QA
۷۶
/
۷۶
/
ال
ف
۶
م
۷ ۱۳۸۰
227. Methodologies and application issues of contemporary computing framework /
المؤلف: Jyotsna Kumar Mandal, Somnath Mukhopadhyay, Paramartha Dutta, Kousik Dasgupta, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer architecture.,Artificial intelligence.,Artificial intelligence.,Computer architecture.,COMPUTERS-- General.,Information retrieval.
رده :
Q335
228. Methodologies of Pattern Recognition
المؤلف: Satosi , Watanabe
المکتبة: کتابخانه موسسه روانشناسی و علوم تربیتی دانشگاه تهران (شهید دقایقی) (طهران)
موضوع: Computing Machines
229. Microprocessors Principles and Applications
المؤلف: Michael J Debenham
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
رده :
QA76
.
5
M534
2013
230. Minds and machines
المؤلف: / Editor Alan R. Anderson
المکتبة: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع:
رده :
Q335
.
5
.
A5
231. Mirror worlds, or, The day software puts the universe in a shoebox-- :
المؤلف: David Gelernter.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software.,Software engineering.,Génie logiciel.,Logiciels.,Computer software.,Computer software.,Génie logiciel.,Logiciels-- Développement.,Software engineering.,Software engineering.
رده :
QA76
.
754
.
G45
1991
232. Models for Parallel and Distributed Computation
المؤلف: edited by Ricardo Corrêa, Inês Dutra, Mario Fiallos, Fernando Gomes.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra-- Data processing.,Combinatorics.,Computational complexity.,Computer science.,Information theory.
233. Models of massive parallelism :
المؤلف: Max Garzon.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Cellular automata.,Neural networks (Computer science),Parallel processing (Electronic computers)
رده :
QA76
.
58
M394
1995
234. Modern Cryptography, Probabilistic Proofs and Pseudorandomness
المؤلف: by Oded Goldreich.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Combinatorics.,Computer science.,Data encryption (Computer science).,Distribution (Probability theory).,Information theory.,Mathematics.
235. Modern algebra with applications /
المؤلف: William J. Gilbert, W. Keith Nicholson
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra, Abstract
رده :
QA162
.
G53
2004
236. Modern computing methods
المؤلف:
المکتبة: کتابخانه دانشکده اقتصاد دانشگاه تهران (طهران)
موضوع: Numerical calculations,Equations-Numerical solutions,Electronic calculating-Machines
رده :
QA
297
.
T4
1961
237. Multi-level lot sizing and scheduling :
المؤلف: Alf Kimms.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Mathematische Optimierung,Mathematische Optimierung -- Fertigungssteuerung -- Projektmanagement -- Theorie.,Produktionssteuerung
238. Multi-level lot sizing and scheduling :
المؤلف: Alf Kimms.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Mathematische Optimierung,Mathematische Optimierung -- Fertigungssteuerung -- Projektmanagement -- Theorie.,Produktionssteuerung
رده :
TS162
.
A445
1997
239. Multimedia image and video processing /
المؤلف: edited by Ling Guan, Yifeng He, and Sun-Yuan Kung.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Image processing-- Digital techniques.,Multimedia systems.
رده :
QA76
.
575
.
M83285
2012
240. Multimedia systems :
المؤلف: Tim Morris.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Multimedia,Multimedia systems.,Multimedia.
